Teaching Automated Test Data Generation Tools for C, C++ , and Java Programs

Survey on Test Data Generation Tools an Evaluation of White-and Gray-box Testing Tools for C#, C++, Eiffel, and Java

Automating the process of software testing is a very popular research topic and of real interest to industry. Test automation can take part on different levels, e.g., test execution, test case generation, test data generation. This survey gives an overview of state-ofthe art test data generation tools, either academic or commercial. The survey focuses on whiteand gray-box techniques. The list o...

Automated Test Generation for Java Generics

Software testing research has resulted in effective white-box test generation techniques that can produce unit test suites achieving high code coverage. However, research prototypes usually only cover subsets of the basic programming language features, thus inhibiting practical use and evaluation. One feature commonly omitted are Java’s generics, which have been present in the language since 20...

Automated Software Test Data Generation for Complex Programs

We report on GADGET a new software test generation system that uses combinatorial optimization to obtain condition decision coverage of C C programs The GADGET system is fully automatic and supports all C C language constructs This allows us to generate tests for programs more complex than those previously reported in the literature We address a number of issues that are encountered when automa...

Automated Test Generation for AspectJ Programs

Aspect-oriented software development (AOSD) is a new paradigm that improves separation of concerns in software development. AOSD has gained popularity with the adoption of languages such as AspectJ. Automated test generation for AspectJ programs is important for reducing the manual effort in testing AspectJ programs. This position paper proposes Wrasp, a framework for automatic generation of te...

Cloze test and c test